Extensional and intensional definitions